WebSPN : Non - Markovian Stochastic Petri Net Tool

Webspn: a Web-accessible Petri Net Tool

Although the Web makes a large amount of information easy to access for a great number of users, it does not ooer simple mechanisms to facilitate the use of a computation-oriented application on the Internet. The Java language developed by Sun Microsystems makes the development of such applications easier. In this paper we show how it is possible to use this technology to create a network compu...

Design and Implementation of aWEB - based non - Markovian

This paper describes a new modeling tool for the analysis of non-Markovian stochastic Petri nets (SPN). This tool, called Web-SPN, provides a discrete time approximation of the stochastic behavior of the marking process which results in the possibility to analyze a wider class of PN models with prd, prs and pri concurrently enabled generally distributed transitions. An example is used to show t...

TimeNET: Evaluation Tool for Non-Markovian Stochastic Petri Nets

The Evolution of Stochastic Petri Nets

Analytical modeling is a crucial part in the analysis and design of computer systems. Stochastic Petri Nets represent a powerful tool, widely used for dependability, performance and performability modeling. Many structural and stochastic extensions have been proposed so as to increase their modeling power. In this paper we review the main structural and stochastic extensions of Petri nets, by p...

On the use of Java to make Software Tools

Although the Web makes a large amount of information easy to access for a great number of users, it does not ooer simple mechanisms to facilitate the use of a computation-oriented application on the Internet. The Java language developed by Sun Microsystems makes the development of such applications easier. In this paper we show how this technology can be used for creating a network computing pl...